ＳＰＥＣ９５──微处理器基准测试程序新标准Ｗｉｎｄｏｗｓ９５的问世，并不是１９９５年软件领域中发生的唯一重大事件，ＳＰＥＣ基准测试程序──测试微处理器和系统性能的行业标准......

介绍了动态数据流分析的基本方法,分析了它在复杂控制流条件下的不足,提出了一种能够使用后向信息来进行动态数据流分析的BPD测试......